Add a new timer operation kill_timer(). Effectively the
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 13 Jan 2006 00:03:44 +0000 (01:03 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 13 Jan 2006 00:03:44 +0000 (01:03 +0100)
commitcc00657854df4e868598b6447ea5599798604da9
tree458e3a04aabf424fed3c7eecdf7980352f030eb1
parentc5c75c292628864e2f22c4186f8f16da10fbe6da
Add a new timer operation kill_timer(). Effectively the
'opposite' of init_timer(), it marks the end of a timer's
lifetime. After this call the timer will not be pending,
its callback handler will not be running, and future calls
to set_timer() will silently fail.

Signed-off-by: Keir Fraser <keir@xensource.com>
xen/arch/x86/vmx.c
xen/common/sched_bvt.c
xen/common/schedule.c
xen/common/timer.c
xen/include/xen/timer.h